Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A classification of sets of natural numbers by the complexity of the formulas in the language of
Peano arithmetic that define them, specifically by the number of alternations of A and E in the defining formula given the formula is in prenex normal form.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word arithmetical hierarchy.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.